Backtrack on the new interface for reserved event-channel
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 5 Apr 2006 18:30:02 +0000 (19:30 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 5 Apr 2006 18:30:02 +0000 (19:30 +0100)
commit6f1d9ff91969db563dad7f8e703b88eda7ee2c8e
tree996e86277e291f2a30c124509202f707bd88ff28
parentb0a4d66a6cf065ab0a4341ba88cc75dccfbe1141
Backtrack on the new interface for reserved event-channel
ports, as binding them in user space via the evtchn driver
would be a pain. Instead extend VIRQs so they can be
classified as 'global' or 'per vcpu'. The former can only
be allocated once per guest, but can be re-bound to
an arbitrary VCPU.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/ia64/xen/xentime.c
xen/arch/x86/time.c
xen/common/domain.c
xen/common/event_channel.c
xen/common/keyhandler.c
xen/drivers/char/console.c
xen/include/public/event_channel.h
xen/include/public/xen.h
xen/include/xen/event.h